home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / test_req.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  474 b   |  43 lines
  1. class TEST_REQ
  2. --
  3. -- Test of REQuire Assertions.
  4. --
  5. creation {ANY}
  6.    make
  7.    
  8. feature {ANY}
  9.    
  10.    req_a: REQ_A;
  11.    req_b: REQ_B;
  12.    req_c: REQ_C;
  13.    req_d: REQ_D;
  14.       
  15.    make is
  16.       do
  17.      !!req_a;
  18.      req_a.ra;
  19.      
  20.      !!req_b;
  21.      req_b.set_bc('a');
  22.      req_b.ra;
  23.      
  24.      req_a.rb;
  25.      
  26.      req_b.set_bc('a');
  27.      req_b.ra;
  28.      req_b.set_bc('b');
  29.      req_b.rb;
  30.      
  31.      req_b.rc;
  32.      -- req_a.rc;
  33.      -- req_b.set_bc('c');
  34.      -- req_b.rb;
  35.      --     !!req_d;
  36.      --     req_d.rd;
  37.       end;
  38.  
  39. end -- TEST_REQ
  40.  
  41.  
  42.  
  43.